How does distributivity induce emphasis? Category: formal semantics
ثبت نشده
چکیده
(3) a. ∃y. ∣y∣=2 ∧ *man(y) ∧ ∀z. z ∈ y ∧ AT(z) → ∃e. ∃x. ∣x∣=3 ∧ *bag(x) ∧ *carry(e) ∧ *Thm(e)=x ∧ *Ag(e)=z There is a pair of men y, and every atomic member of y carried three (possibly different) bags. b. ∃e. ∀e’. e’ ∈ e ∧ AT(e) → ∃y. ∣y∣=2 ∧ *man(y) ∧ ∃x. ∣x∣=3 ∧ *bag(x) ∧ *carry(e’) ∧ *Thm(e’)=x ∧ *Ag(e’)=y There is an event e, and every atomic subevent e’ of e is an event of two men (collectively/cumulatively) carrying three bags.
منابع مشابه
How does distributivity induce emphasis?
1The particle ina follows gradable expressions and adds meanings such as ‘high in quantity/quality’ or ‘high in degree’ to the expression. Also, these meanings entail a degree of surprise, that is, quantity/quality/degree/extent is above expectation of the speaker. measure phrase such that the speaker entails that the height of Philip is way above the standard of comparison, i.e., Philip is ver...
متن کاملClosed Categories and Categorial Grammar
Inspired by Lambek's work on categorial grammar, we examine the proposal that the theory of biclosed monoidal categories can serve as a foundation for a formal theory of natural language. The emphasis throughout is on the derivation of the axioms for these categories from linguistic intuitions. When Montague's principle that there is a homomorphism between syntax and semantics is reened to the ...
متن کاملFunctorial semantics of topological theories
Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...
متن کاملProgramming Research Group an Algebraic Semantics for Nondeterministic Choice
Our book Algebraic Semantics of Imperative Programs uses the algebraic speci cation language OBJ to give a formal semantics to a simple imperative programming language, using a theory of abstract machines that associate integer values with the variables of the programming language. In this paper we extend the semantics to programs with a nondeterministic choice operation. Speci cally, we introd...
متن کاملAlgebraic Semantics and Mereology
Fall 2014 (Lecture notes version: Aug 4 th , 2014) 2 Preface Expressions like John and Mary or the water in my cup intuitively involve reference to collections of individuals or substances. The parthood relation between these collections and their components is not modeled in standard formal semantics of natural language (Montague 1974; Heim and Kratzer 1998), but it takes central stage in what...
متن کامل